1

Size-based termination of higher-order rewriting

Year:
2018
Language:
english
File:
PDF, 1.25 MB
english, 2018
2

On the confluence of lambda-calculus with conditional rewriting

Year:
2010
Language:
english
File:
PDF, 741 KB
english, 2010
3

Inductive-data-type systems

Year:
2002
Language:
english
File:
PDF, 198 KB
english, 2002
4

Definitions by rewriting in the Calculus of Constructions

Year:
2005
Language:
english
File:
PDF, 677 KB
english, 2005